/**
 * Vector of integers
 */
package Euclid;

import java.util.*;

public class IntVectorVarType extends VectorVarType {
	
	ArrayList<IntVarType> val;
	
	public IntVectorVarType(ArrayList<IntVarType> vec, String f)
	{
		val = vec;
		formula = f;
	}
	
	public String closeFormula()
	{
		return formula + "=" + val.toString();
	}
	
	public String toString()
	{
		return val.toString();
	}

}
